H ? « ‹ ← → › »

Language peer sets for Generic Haskell:
Germany↑
Germany/2000↑
Designed 2000 ↑
2000s languages ↑
Internet↑
New internationlism↑

Generic Haskell(ID:4935/gen005)

alternate simple view
Country: Germany
Designed 2000

Extensions to Haskell for generic programming

University of Utrecht
Related languages
Haskell → Generic Haskell   Extension of
References:
  • Hinze, Ralf (2000) Hinze, Ralf "Polytypic values possess polykinded types"
          in Backhouse, Roland and J.N. (2000) Backhouse, Roland and J.N. Oliveira, editors, Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), Ponte de Lima, Portugal, July 3-5, 2000, Springer-Verlag.
  • Ralf Hinze. (2000) Ralf Hinze. A New Approach to Generic Functional Programming
          in [POPL 2000] (2000) [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000
  • Clarke, Dave Ralf Hinze, Johan Jeuring, Andres Löh (2001) Clarke, Dave Ralf Hinze, Johan Jeuring, Andres Löh, and Jan de Wit. The Generic Haskell user's guide. Technical report Utrecht University UU-CS-2001-26, 2001
          in [POPL 2000] (2000) [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000
  • Clarke, Dave and Andres Löh. (2002) Clarke, Dave and Andres Löh. Generic Haskell, Specifically. To appear in WCGP 2002.
          in [POPL 2000] (2000) [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000
  • de Wit, Jan A technical overview of Generic Haskel (2002) de Wit, Jan A technical overview of Generic Haskell. Master's thesis, department of Information and Computing Sciences, Utrecht University, INF-SCR-02-03, 2002.
          in [POPL 2000] (2000) [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000
  • Hinze, R. (2002) Hinze, R. and J. Jeuring. Generic Haskell: Applications. To appear in the lecture notes of the Summer School on Generic Programming, LNCS © Springer-Verlag, 2002/2003.
          in [POPL 2000] (2000) [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000
  • Hinze, R. (2002) Hinze, R. and J. Jeuring. Generic Haskell: Practice and Theory. To appear in the lecture notes of the Summer School on Generic Programming, LNCS © Springer-Verlag, 2002/2003.
          in [POPL 2000] (2000) [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000
  • Hinze, Ralf; Jeuring, Johan and Löh, Andres (2002) Hinze, Ralf; Jeuring, Johan and Löh, Andres "Type-indexed datatypes"
          in Proceedings of the 6th International Conference on (2002) Proceedings of the 6th International Conference on Mathematics of Program Construction, LNCS 2386, 2002, Springer-Verlag.
  • Hinze, Ralf; Jeuring, Johan and Löh, Andres (2002) Hinze, Ralf; Jeuring, Johan and Löh, Andres "Type-indexed datatypes" Technical report ICS Utrecht University, UU-CS-2002-011.
          in Proceedings of the 6th International Conference on (2002) Proceedings of the 6th International Conference on Mathematics of Program Construction, LNCS 2386, 2002, Springer-Verlag.
  • Jeuring, Johan and Paul Hagg. (2002) Jeuring, Johan and Paul Hagg. Generic Programming for XML Tools. Technical report ICS Utrecht University, UU-CS-2002-023.
          in Proceedings of the 6th International Conference on (2002) Proceedings of the 6th International Conference on Mathematics of Program Construction, LNCS 2386, 2002, Springer-Verlag.
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder